退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:关于正规形式博弈的几何和等价类
Fabrizio Germano;
机译:关于正规形式游戏的某些几何和等价类
机译:增强的等价投影仿真:刺激等价类别的框架形成模块
机译:等价投影仿真作为刺激等价类形成模型的框架
机译:一种基于形式对等类的安全策略一致性检查方法
机译:关于随机游戏和规范形式游戏之间的战略对等的论文。
机译:使用同时协议研究等效类的形成:节点数量和先前建立的等效类的大小的促进作用。
机译:marylie代码使用的michelotti正规形式和地图正规形式的等价性。
机译:平台可靠的抽象转发等效类与层次结构
机译:从数据源中自动提取和组织信息的方法网页,涉及生成等价类的组合表示,其中显示可显示表示的顺序
机译:重新计时的范式在流水线设计的抽象RTL描述的形式等效验证中的应用
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。